🔀 Category Theory

Functors, Natural Transformations, Monads, Type Theory, Abstract Algebra, Monoids, Algebraic Structures, Mathematical Structures

Feeds to Scour
SubscribedAll
Scoured 9563 posts in 1.12 s
What F# Knows About Functors and What Comes Next
dev.to·1d·
Discuss: DEV
💻Programming languages
Preview
Report Post
Algebraic Topology 1: Homotopy Equivalence
youtube.com·9h
🕸️Algebraic Topology
Preview
Report Post
Higman-Neumann-Neumann extension in nLab
ncatlab.org·1d
🧮Algebraic Archives
Preview
Report Post
GHC 9.12.3 is now available
haskell.org·1d
💧Liquidhaskell
Preview
Report Post
TRUNAJOD: A text complexity library for text analysis built on spaCy — TRUNAJOD 0.1.1 documentation
trunajod20.readthedocs.io·9h
📝Parsing Grammars
Preview
Report Post
On LLMs in programming
blog.danieljanus.pl·1d·
Discuss: Lobsters, Hacker News
⚙️Proof Engineering
Preview
Report Post
Resolving Names Once and for All
thunderseethe.dev·1d·
Discuss: r/programming
⬆️Lambda Lifting
Preview
Report Post
Treating Functions as Vectors in Hilbert Space
hackaday.com·1d
📐Linear Algebra
Preview
Report Post
Introducing Pkl, a programming language for configuration
pkl-lang.org·5h
💧Liquid Types
Preview
Report Post
Profunctors, Arrows, & Static Analysis
elvishjerricco.github.io·5d·
Discuss: Hacker News
🧬Functional Programming
Preview
Report Post
A Mechanistic Analysis of Transformers for Dynamical Systems
arxiv.org·2d
✨Effect Handlers
Preview
Report Post
JavaScript vs Go: A Deep Dive into Syntax and Philosophy
dev.to·5h·
Discuss: DEV
🔗Concatenative Programming
Preview
Report Post
On (and Contra) Chalmers on LLM Interlocutors
benjamincongdon.me·18h
🔲Cellular Automata
Preview
Report Post
The Case for Snake Case: A Kolmogorov Complexity Argument
modulovalue.com·1d·
Discuss: Hacker News
λLambda Encodings
Preview
Report Post
A Validated Semantics for LLVM IR
sf.snu.ac.kr·12h
✅Formal Methods
Preview
Report Post
The Transformer Architecture: A Deep Dive into How LLMs Actually Work
dev.to·4h·
Discuss: DEV
📝Text Parsing
Preview
Report Post
Issue 504
haskellweekly.news·2d
🔗Functional Compilers
Preview
Report Post
Natural language processing for word sense disambiguation and information extraction
arxiv.org·15h·
Discuss: r/compsci
📥Feed Aggregation
Preview
Report Post
Formal Scientific Modeling
johncarlosbaez.wordpress.com·6d
λLambda Formalization
Preview
Report Post
Stanford CS 224N | Natural Language Processing with Deep Learning
web.stanford.edu·1d
🧠Machine Learning
Preview
Report Post